/*
 * Copyright (C) 2018 ETH Zurich and University of Bologna
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

/* 
 * Mantainer: Luca Valente, luca.valente2@unibo.it
 */
#ifndef PVCOMPLEX_DIV4
#define PVCOMPLEX_DIV4
int cplx_opAdiv4[] = {
0x2058aacd,
0x99c1628,
0x3d1095b3,
0xb5a7317f,
0xe9785a99,
0x87435b57,
0x27f0048d,
0x626f1a89,
0x3bd9270d,
0xdbd3a924,
0x2019aaee,
0x4c19f22e,
0x3620b449,
0xa5941f54,
0x5e159c30,
0x46fdf426,
0xa4e7e6d,
0x14205099,
0x8218475e,
0xa1f8c9c8,
0x251f6b91,
0x701e293b,
0x43c44d10,
0x741dd28e,
0x7bb27f9d,
0x2a8c4ff0,
0x421f9bcb,
0x501476a5,
0x95f9783f,
0x146ff5a9,
0xe9cff40e,
0x727c5b6c,
0xac06f41e,
0x3b7c869c,
0x50642e1e,
0x99afdd74,
0x6af7584,
0xc29409ce,
0xdc5c4a74,
0xca1136b1,
0x86a1580e,
0xf3d9f49d,
0x6b42c8c0,
0x40ff43ed,
0x3996013b,
0xf54a556e,
0xb0db2366,
0x178467c6,
0xee625ce1,
0x8aff5300,
0x30753ec7,
0xb44b24af,
0x2e7d3724,
0x819876df,
0xad900ad9,
0x62e74baa,
0x40473431,
0xfcf256c0,
0x9aadab8a,
0xacc53df1,
0x9360d444,
0xf7aaa20f,
0x9d5443b,
0xa11c0f2e,
0x622ef838,
0x36ff2c1b,
0x50ca92a3,
0xc9c8eb4a,
0x62297f47,
0x8a204b60,
0x970a0fb9,
0x43eaed07,
0x43c7d752,
0x82dc40dc,
0x7ecede75,
0xb2b92fa1,
0xd1b1122e,
0x5669aa63,
0xb991db86,
0xd3bef785,
0x23a01bbf,
0xae630abd,
0xf607746b,
0xf3b2782b,
0xc38b5830,
0x67e97dd3,
0x6ada5a96,
0x31e8abd4,
0xecb0aea2,
0x8d17b4c4,
0xe4656b7e,
0x7dac3fd0,
0xea33b616,
0x919dd415,
0xcb9aa3c4,
0xbf83655b,
0x7019ef3b,
0x63a66de6,
0xe6116620,
0xbe515758,
};

int cplx_opBdiv4[] = {
0xd52ba99d,
0x433263a,
0xd20e4006,
0xeea8361b,
0xeadfbebf,
0x2a3d7bbf,
0xbb8fcf44,
0x855ba7ea,
0x7bffa5c2,
0x498616f8,
0x7c53479a,
0x36d50909,
0x76f0ec6c,
0x528d9a7b,
0xf1d35d01,
0x69e10de,
0x3718c6ff,
0x7050ad1,
0x40ec0927,
0xc7e6f5ad,
0x716c2bcb,
0xfb10f223,
0x9a0d2cfb,
0xd2bd806b,
0x9763160d,
0x5da71c43,
0x254c13b6,
0x23947c,
0x2ef79c3c,
0xf93e52b0,
0x638e20ca,
0xe7c9ffdc,
0xaae9aa6,
0xa3cdeece,
0xe47b4b9a,
0x77666bb3,
0x5dd755e7,
0x82e27276,
0xf2e1f7e4,
0xdf1559f,
0x71e28a44,
0x9dfa6b98,
0x14972f,
0x336b9e1d,
0xf0cd2f0b,
0x4fd62ca9,
0x2c86545b,
0xef02379f,
0x266e3734,
0x82ce92cf,
0xfe830ae9,
0x60d1fa34,
0x6caa5c5a,
0x543ee3b3,
0x39535f8b,
0xe9cf6230,
0xcdc8ab35,
0x426487ca,
0x25e7cddd,
0xfce875d0,
0xa27916b5,
0x6b104cbe,
0x845eceff,
0x6335a12,
0xece2aacc,
0xb5b58902,
0x8336eb65,
0x47bf1686,
0xfa3aefe1,
0x4f6c9bfd,
0xfe2d338d,
0xdec2393c,
0xc106cbf6,
0x99d32127,
0x96f7e6ed,
0xfda296bb,
0xe37a3970,
0x87068b3,
0xc2c567d8,
0x12a40ea3,
0x97a5afa7,
0x9b0cc859,
0xdee01adc,
0xabde2cb,
0x7ec9d91a,
0xca75a29,
0x93657cf6,
0x48eceb69,
0xc90546b,
0x3b59e2bf,
0x797ba387,
0xdcf838fb,
0xa1ae5cf5,
0xc4cde568,
0xf40b6474,
0x141bd771,
0x9fca8bb1,
0xa68daf28,
0x91f37eaa,
0x57c4b14a,
};

int subrotmj_opCdiv4[] = {
0xffb412cb,
0x404015a,
0xea941ac0,
0x127f1bf,
0x1909ffa6,
0x81a1741,
0xf2ad1b18,
0xe358f745,
0x1fadeff6,
0x1b75e493,
0xe72be8f1,
0x5b60551,
0xe08efcc,
0x1ec914c1,
0xf0341b10,
0x72e1017,
0x1224f4cd,
0xee8e0346,
0xf072104b,
0xaf9f684,
0xf00eecec,
0xf23a1d43,
0xf7faea6d,
0xeb77e858,
0xe59cf913,
0xf314f339,
0x1dfa0734,
0x77513fc,
0x8ff19c0,
0x174106cc,
0xb2fe190,
0xe91ce2ac,
0xe9a2e856,
0x1a0ce5eb,
0x75f1afa,
0xe38f0892,
0xf818ea36,
0x1a2a0fec,
0xeb5cfa5e,
0x7bbef08,
0xc8d052f,
0x1dbe1577,
0xf39b1acb,
0x168c0365,
0xb741232,
0xf5cee95d,
0xc3de115,
0xf3f60a20,
0xf694f1fd,
0xff3020c,
0xf3080c7c,
0xf56114de,
0x94df074,
0x1b350b56,
0x152c1d0f,
0x5a11e46,
0x1dc11c9f,
0xc42eea3,
0x8941d31,
0xdf7ebf7,
0x109cfc39,
0xeaabe326,
0xe2b1e15d,
0x12b9e6ba,
0xeca51d53,
0x1739e052,
0x1630f365,
0xacfe082,
0x1c2619fb,
0x14270ead,
0x8f5e637,
0x130d194a,
0xfd29e0b0,
0xf812fa42,
0x21ef9f5,
0x19c6ed45,
0x9d0fb8d,
0xef94137e,
0xe314fdb3,
0x5c7f046,
0xe4fae2fe,
0xef6704d5,
0xe99c05c9,
0x1aa8fa3d,
0xe03a1130,
0xf71516d0,
0x898f5dd,
0xfe5fa3f,
0xe972f808,
0xb7e146f,
0xe021aba,
0xfe4ae82d,
0xe9b71221,
0x454f334,
0xf02cf5e3,
0x1c85eada,
0xe71df413,
0x1050ef46,
0x6221507,
0x167c19a3,
};

int cplxadd_opCdiv4[] = {
0xfd60151a,
0x3730f18,
0x3c7f56e,
0xe91319e6,
0xf5150656,
0xec60f5c5,
0xf8dff4f4,
0xf9f2f09c,
0xedf6f333,
0x956f007,
0xe71bfca2,
0xe0bbfecd,
0xeb44e82d,
0xfe08ee73,
0x13fafe4c,
0x13660141,
0x1059115b,
0x6c916da,
0xf0c11421,
0x1a77efdd,
0xe5a2e5d7,
0x1acb06d7,
0xf7741e82,
0x11b614be,
0x4c5e56a,
0xe20c1b0c,
0x19daebe0,
0x140d02c8,
0xf13c051e,
0x36b1216,
0x13570536,
0x169116d2,
0xedade3b1,
0xf7d21d5a,
0xd371e6e,
0x4451249,
0x1921f2da,
0x115d1f11,
0xf3cf1096,
0xf600e314,
0xfe20f894,
0xe474180d,
0x1ad517fb,
0x1d1af882,
0xa980c11,
0x1148e085,
0xf7581df0,
0x1a1e7d9,
0x534e505,
0x373f973,
0xbbe126c,
0x54707b8,
0xe6c9e4df,
0xf57516a4,
0xf9b81a99,
0x132deb76,
0x383f7d9,
0xfd5f7a2,
0xf0251e59,
0xea6becf0,
0xd76fabe,
0x18aefbb3,
0xe38c04ce,
0xe9d31a50,
0x13c4e8c1,
0xfb2ded47,
0xf5001f82,
0x4610074,
0x17181bca,
0xf663f9d7,
0xe54d10d1,
0x8ab0990,
0x133e8d2,
0x72b1880,
0x571f158,
0xec16f197,
0xed4a12e7,
0x17b604c5,
0x1f1510d7,
0xf998018a,
0xeed1f2d9,
0x125bf4c5,
0xf539e3d1,
0xff9b16bd,
0x10950c52,
0x1d24f5ff,
0xff8ff5e3,
0x1eb5e5cf,
0xfe5000c3,
0xf21ce5e0,
0x177803c1,
0x16a91e32,
0xe2f804c2,
0x159aee5f,
0xefe9020e,
0xf4e70f33,
0x3f81ebb,
0x28c0743,
0x1e01f932,
0x5850228,
};

int cplxsub_opCdiv4[] = {
0x12cb004c,
0x15afbfb,
0x1ac0156b,
0xf1bffed9,
0xffa6e6f6,
0x1741f7e6,
0x1b180d52,
0xf7451ca7,
0xeff6e052,
0xe493e48b,
0xe8f118d5,
0x551fa49,
0xefccf1f7,
0x14c1e136,
0x1b100fcb,
0x1017f8d2,
0xf4cdeddb,
0x3461172,
0x104b0f8d,
0xf684f506,
0xecec0ff1,
0x1d430dc6,
0xea6d0805,
0xe8581488,
0xf9131a64,
0xf3390ceb,
0x734e205,
0x13fcf88a,
0x19c0f700,
0x6cce8be,
0xe190f4d1,
0xe2ac16e4,
0xe856165e,
0xe5ebe5f3,
0x1afaf8a1,
0x8921c70,
0xea3607e7,
0xfece5d6,
0xfa5e14a4,
0xef08f844,
0x52ff372,
0x1577e241,
0x1acb0c64,
0x365e974,
0x1232f48c,
0xe95d0a31,
0xe115f3c2,
0xa200c09,
0xf1fd096b,
0x20cf00c,
0xc7c0cf7,
0x14de0a9e,
0xf074f6b2,
0xb56e4cb,
0x1d0fead3,
0x1e46fa5e,
0x1c9fe23f,
0xeea3f3bd,
0x1d31f76b,
0xebf7f208,
0xfc39ef63,
0xe3261554,
0xe15d1d4f,
0xe6baed47,
0x1d53135b,
0xe052e8c6,
0xf365e9cf,
0xe082f531,
0x19fbe3d9,
0xeadebd8,
0xe637f70b,
0x194aecf2,
0xe0b002d7,
0xfa4207ed,
0xf9f5fde2,
0xed45e639,
0xfb8df62f,
0x137e106c,
0xfdb31ceb,
0xf046fa38,
0xe2fe1b06,
0x4d51099,
0x5c91663,
0xfa3de558,
0x11301fc5,
0x16d008ea,
0xf5ddf768,
0xfa3ff01a,
0xf808168d,
0x146ff481,
0x1abaf1fd,
0xe82d01b5,
0x12211648,
0xf334fbab,
0xf5e30fd4,
0xeadae37a,
0xf41318e2,
0xef46efaf,
0x1507f9dd,
0x19a3e983,
};

#endif
